Results for 'Juan P. Lewis'

1000+ found
Order:
  1.  1
    Ne Spadones Fiant: Domitian's Emasculation Ban.Juan P. Lewis - 2023 - Classical Quarterly 73 (1):257-270.
    This article questions the prevailing opinion that Domitian's prohibition of castration was intended as a protective measure devised to check masters’ abuses on their slaves, as part of a larger trend towards more enlightened attitudes towards slavery among the Romans. While brutal, castration was the only type of mutilation which increased the monetary value of slaves. Banning it curtailed slaves’ chances of social climbing and narrowed their channels towards positions of power. The emasculation ban is, instead, better understood as one (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  54
    The Material Life of Roman Slaves by Sandra R. Joshel, Lauren Hackworth Petersen.Juan P. Lewis - 2015 - American Journal of Philology 136 (4):709-712.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  28
    Roman legal sources on slavery - harke corpus der römischen rechtsquellen zur antiken sklaverei . Teil III: Die rechtspositionen am sklaven. 2: Ansprüche aus delikten am sklaven. Pp. XII + 222. Stuttgart: Franz Steiner, 2013. Cased, €44. Isbn: 978-3-515-10144-8. [REVIEW]Juan P. Lewis - 2014 - The Classical Review 64 (2):557-559.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  50
    Teaching America: The Case for Civic Education.David J. Feith, Seth Andrew, Charles F. Bahmueller, Mark Bauerlein, John M. Bridgeland, Bruce Cole, Alan M. Dershowitz, Mike Feinberg, Senator Bob Graham, Chris Hand, Frederick M. Hess, Eugene Hickok, Michael Kazin, Senator Jon Kyl, Jay P. Lefkowitz, Peter Levine, Harry Lewis, Justice Sandra Day O'Connor, Secretary Rod Paige, Charles N. Quigley, Admiral Mike Ratliff, Glenn Harlan Reynolds, Jason Ross, Andrew J. Rotherham, John R. Thelin & Juan Williams - 2011 - R&L Education.
    This book taps the best American thinkers to answer the essential American question: How do we sustain our experiment in government of, by, and for the people? Authored by an extraordinary and politically diverse roster of public officials, scholars, and educators, these chapters describe our nation's civic education problem, assess its causes, offer an agenda for reform, and explain the high stakes at risk if we fail.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Decision-Making by Handball Referees: Design of an ad hoc Observation Instrument and Polar Coordinate Analysis.Juan P. Morillo, Rafael E. Reigal, Antonio Hernández-Mendo, Alejandro Montaña & Verónica Morales-Sánchez - 2017 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  47
    Unsound inferences make proofs shorter.Juan P. Aguilera & Matthias Baaz - 2019 - Journal of Symbolic Logic 84 (1):102-122.
    We give examples of calculi that extend Gentzen’s sequent calculusLKby unsound quantifier inferences in such a way that derivations lead only to true sequents, and proofs therein are nonelementarily shorter thanLK-proofs.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  6
    CONSTITUCIÓN APOSTÓLICA DE S. S. JUAN XXIII para fomentar el estudio de la lengua latina.Juan P. P. Xxiii - 1962 - Augustinus 7 (26):227-232.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  20
    Long games and σ-projective sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.
    We prove a number of results on the determinacy of σ-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between σ-projective determinacy and the determinacy of certain classes of games of variable length <ω^2 (Theorem 2.4). We then give an elementary proof of the determinacy of σ-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  16
    Strong completeness of provability logic for ordinal spaces.Juan P. Aguilera & David Fernández-Duque - 2017 - Journal of Symbolic Logic 82 (2):608-628.
  10.  1
    Publius at Naupaktos: The First Macedonian War and Phlegon of Tralles’ anti-Roman Prophecies in De Mirabilia 3.Juan P. Prieto - 2022 - Klio 104 (2):587-618.
    Summary A brief state of the art for Phlegon of Tralles’ De Mirabilia 3 anti-Roman prophecies is followed by a reassessment of four of its components: the historical identification of the Roman protagonist “Publius”, Naupaktos as the main stage for the prophecies, the multiple meanings of the Red Wolf as well as the Oak Tree, and the Roman military retreat. By analyzing these specific elements, it will be argued that these presages were not only associated with events during the Antiochean (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  40
    The consistency strength of long projective determinacy.Juan P. Aguilera & Sandra Müller - 2019 - Journal of Symbolic Logic 85 (1):338-366.
    We determine the consistency strength of determinacy for projective games of length ω^2. Our main theorem is that $\Pi _{n + 1}^1$-determinacy for games of length ω^2 implies the existence of a model of set theory with ω + n Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals A such that M_n(A), the canonical inner model for n Woodin cardinals constructed over A, satisfies $A = R$ and the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  13
    The Seinsfrage and the place of the objective in Heidegger's early work.Juan P. Hernandez - unknown
    The thesis is guided by the question: What is the subject matter of Heidegger’s philosophy in the period of Being and Time? I start by arguing that Heidegger’s formulation of the question of being is ambiguous because the term ‘being’ is open to at least two interpretations. I claim that this ambiguity has motivated two types of reading of Heidegger’s early work. On the first reading, Heidegger’s philosophy is understood as attempting to infer metaphysical claims (claims about what-is, or being (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  15
    Shortening clopen games.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1541-1554.
    For every countable wellordering $\alpha $ greater than $\omega $, it is shown that clopen determinacy for games of length $\alpha $ with moves in $\mathbb {N}$ is equivalent to determinacy for a class of shorter games, but with more complicated payoff. In particular, it is shown that clopen determinacy for games of length $\omega ^2$ is equivalent to $\sigma $ -projective determinacy for games of length $\omega $ and that clopen determinacy for games of length $\omega ^3$ is equivalent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  18
    The order of reflection.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1555-1583.
    Extending Aanderaa’s classical result that $\pi ^{1}_{1} < \sigma ^{1}_{1}$, we determine the order between any two patterns of iterated $\Sigma ^{1}_{1}$ - and $\Pi ^{1}_{1}$ -reflection on ordinals. We show that this order of linear reflection is a prewellordering of length $\omega ^{\omega }$. This requires considering the relationship between linear and some non-linear reflection patterns, such as $\sigma \wedge \pi $, the pattern of simultaneous $\Sigma ^{1}_{1}$ - and $\Pi ^{1}_{1}$ -reflection. The proofs involve linking the lengths of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  29
    Projective Games on the Reals.Juan P. Aguilera & Sandra Müller - 2020 - Notre Dame Journal of Formal Logic 61 (4):573-589.
    Let Mn♯ denote the minimal active iterable extender model which has n Woodin cardinals and contains all reals, if it exists, in which case we denote by Mn the class-sized model obtained by iterating the topmost measure of Mn class-many times. We characterize the sets of reals which are Σ1-definable from R over Mn, under the assumption that projective games on reals are determined:1. for even n, Σ1Mn=⅁RΠn+11;2. for odd n, Σ1Mn=⅁RΣn+11.This generalizes a theorem of Martin and Steel for L, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  19
    Animal Models of Maladaptive Traits: Disorders in Sensorimotor Gating and Attentional Quantifiable Responses as Possible Endophenotypes.Juan P. Vargas, Estrella Díaz, Manuel Portavella & Juan C. López - 2016 - Frontiers in Psychology 7.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Unconscious learning. Conditioning to subliminal visual stimuli.Juan P. Núñez & Francisco de Vicente - 2004 - Spanish Journal of Psychology 7 (1):13-28.
  18. Role of endothelial integrins in flow transduction: A review and a novel experimental approach.Juan P. Reyes, Ricardo Espinosa-Tanguma, María A. Basurto, Ulises Meza, Patricia Pérez-Cornejo, Jorge Arreola & Rafael Rubio - 2006 - Episteme 2 (8-9).
     
    Export citation  
     
    Bookmark  
  19. Recubrimiento pulpar y pulpotomía, como alternativas de la endodoncia preventiva.Juan P. Reyes, Ricardo Espinosa-Tanguma, María A. Basurto, Ulises Meza, Patricia Pérez-Cornejo, Jorge Arreola & Rafael Rubio - 2006 - Episteme 2 (8-9).
     
    Export citation  
     
    Bookmark  
  20.  12
    Influence of boundary structure and near neighbor crystallographic orientation on the dynamic damage evolution during shock loading.Juan P. Escobedo, Ellen K. Cerreta, Darcie Dennis-Koller, Carl P. Trujillo & Curt A. Bronkhorst - 2013 - Philosophical Magazine 93 (7):833-846.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  11
    A topological completeness theorem for transfinite provability logic.Juan P. Aguilera - 2023 - Archive for Mathematical Logic 62 (5):751-788.
    We prove a topological completeness theorem for the modal logic $$\textsf{GLP}$$ GLP containing operators $$\{\langle \xi \rangle :\xi \in \textsf{Ord}\}$$ { ⟨ ξ ⟩ : ξ ∈ Ord } intended to capture a wellordered sequence of consistency operators increasing in strength. More specifically, we prove that, given a tall-enough scattered space X, any sentence $$\phi $$ ϕ consistent with $$\textsf{GLP}$$ GLP can be satisfied on a polytopological space based on finitely many Icard topologies constructed over X and corresponding to the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  41
    Differences Between High vs. Low Performance Chess Players in Heart Rate Variability During Chess Problems.Juan P. Fuentes-García, Santos Villafaina, Daniel Collado-Mateo, Ricardo de la Vega, Pedro R. Olivares & Vicente Javier Clemente-Suárez - 2019 - Frontiers in Psychology 10.
    Background: Heart rate variability (HRV) has been considered as a measure of heart-brain interaction and autonomic modulation, and it is modified by cognitive and attentional tasks. In cognitive tasks, HRV was reduced in participants who achieved worse results. This could indicate the possibility of HRV predicting cognitive performance, but this association is still unclear in a high cognitive load sport such as chess Objective: To analyse modifications on HRV and subjective perception of stress, difficulty and complexity in different chess problem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Philosophy, East and West: essays in honour of Dr. T. M. P. Mahadevan.T. M. P. Mahadevan & Hywel David Lewis (eds.) - 1976 - Bombay: Blackie & Son (India).
    Bhattacharyya, K. The Advaita concept of subjectivity.--Deutsch, E. Reflections on some aspects of the theory of rasa.--Nakamura, H. The dawn of modern thought in the East.--Organ, T. Causality, Indian and Greek.--Chatterjee, M. On types of classification.--Lacombe, O. Transcendental imagination.--Bahm, A. J. Standards for comparative philosophy.--Herring, H. Appearance, its significance and meaning in the history of philosophy.--Chang Chung-yuan. Pre-rational harmony in Heidegger's essential thinking and Chʼan thought.--Staal, J. F. Making sense of the Buddhist tetralemma.--Enomiya-Lassalle, H. M. The mysticism of Carl Albrecht (...)
     
    Export citation  
     
    Bookmark  
  24.  2
    La labor polemista de los cristianos orientales y su contribución a la difusión del saber en el oriente musulmán.Juan P. Monferrer Sala - 2000 - Revista Española de Filosofía Medieval 7:61.
    Within the polemic work which was developed by Eastern Christians it is necessary to underline the transmission of the whole of the religious conceptions, the kinds of argumentation and defence of the dogma, the elaboration of the discourse, the debate techniques used, the vocabulary which was adapted and generated, the rewriting developed from the Biblical material and Quranic criticism, as well as the refutations of the Muslim ideas, and the huge information which is inside the intrachristian polemics. Theology is the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    Modernidad hermenéutica en Maimónides a partir de una exégesis contenida en "Dalālat al-ḥa’irīn" (Morê nebuḵîm) I, 2.Juan P. Monferrer Sala - 2005 - Revista Española de Filosofía Medieval 12:73.
    One of the modern features in Maimonides’ exegesis is the interpretation of the figurative and symbolic concepts which can be found in the Biblical text. To this respect, the task developed by the Cordovan writer place the texts before new hermeneutic possibilities of analysis which offer original readings from his interpretation.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  17
    Effects of social and affective content on exogenous attention as revealed by event-related potentials.Vladimir Kosonogov, Jose M. Martinez-Selva, Eduvigis Carrillo-Verdejo, Ginesa Torrente, Luis Carretié & Juan P. Sanchez-Navarro - 2019 - Cognition and Emotion 33 (4):683-695.
    ABSTRACTThe social content of affective stimuli has been proposed as having an influence on cognitive processing and behaviour. This research was aimed, therefore, at studying whether automatic exogenous attention demanded by affective pictures was related to their social value. We hypothesised that affective social pictures would capture attention to a greater extent than non-social affective stimuli. For this purpose, we recorded event-related potentials in a sample of 24 participants engaged in a digit categorisation task. Distracters were affective pictures varying in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  35
    Evaluation of a Prototype Tool for Communicating Body Perception Disturbances in Complex Regional Pain Syndrome.Ailie J. Turton, Mark Palmer, Sharon Grieve, Timothy P. Moss, Jenny Lewis & Candida S. McCabe - 2013 - Frontiers in Human Neuroscience 7.
  28.  15
    Dynamics of Simultaneous and Imitative Bodily Coordination in Trust and Distrust.Carlos Cornejo, Esteban Hurtado, Zamara Cuadros, Alejandra Torres-Araneda, Javiera Paredes, Himmbler Olivares, David Carré & Juan P. Robledo - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  11
    Contextual Factors and Decision-Making in the Behavior of Finalization in the Positional Attack in Beach Handball: Differences by Gender Through Polar Coordinates Analysis.Juan A. Vázquez-Diz, Juan P. Morillo-Baro, Rafael E. Reigal, Verónica Morales-Sánchez & Antonio Hernández-Mendo - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  6
    Detection of Jihadism in Social Networks Using Big Data Techniques Supported by Graphs and Fuzzy Clustering.Cristina Sánchez-Rebollo, Cristina Puente, Rafael Palacios, Claudia Piriz, Juan P. Fuentes & Javier Jarauta - 2019 - Complexity 2019:1-13.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    Mixed Methods in Decision-Making Through Polar Coordinate Technique: Differences by Gender on Beach Handball Specialist.Juan A. Vázquez-Diz, Juan P. Morillo-Baro, Rafael E. Reigal, Verónica Morales-Sánchez & Antonio Hernández-Mendo - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  25
    Constitutive spectral EEG peaks in the gamma range: suppressed by sleep, reduced by mental activity and resistant to sensory stimulation.Tyler S. Grummett, Sean P. Fitzgibbon, Trent W. Lewis, Dylan DeLosAngeles, Emma M. Whitham, Kenneth J. Pope & John O. Willoughby - 2014 - Frontiers in Human Neuroscience 8.
  33.  15
    Corrigendum: Toward a Compassionate Intersectional Neuroscience: Increasing Diversity and Equity in Contemplative Neuroscience.Helen Y. Weng, Mushim P. Ikeda, Jarrod A. Lewis-Peacock, Maria T. Chao, Duana Fullwiley, Vierka Goldman, Sasha Skinner, Larissa G. Duncan, Adam Gazzaley & Frederick M. Hecht - 2021 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    Toward a Compassionate Intersectional Neuroscience: Increasing Diversity and Equity in Contemplative Neuroscience.Helen Y. Weng, Mushim P. Ikeda, Jarrod A. Lewis-Peacock, Maria T. Chao, Duana Fullwiley, Vierka Goldman, Sasha Skinner, Larissa G. Duncan, Adam Gazzaley & Frederick M. Hecht - 2020 - Frontiers in Psychology 11.
    Mindfulness and compassion meditation are thought to cultivate prosocial behavior. However, the lack of diverse representation within both scientific and participant populations in contemplative neuroscience may limit generalizability and translation of prior findings. To address these issues, we propose a research framework calledIntersectional Neurosciencewhich adapts research procedures to be more inclusive of under-represented groups. Intersectional Neuroscience builds inclusive processes into research design using two main approaches: 1) community engagement with diverse participants, and 2) individualized multivariate neuroscience methods to accommodate neural (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  36
    Chile: Acceptability of a Training Program for Depression Management in Primary Care.Rigoberto Marín, Pablo Martínez, Juan P. Cornejo, Berta Díaz, José Peralta, Álvaro Tala & Graciela Rojas - 2016 - Frontiers in Psychology 7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36.  14
    Data Mining in the Mixed Methods: Application to the Study of the Psychological Profiles of Athletes.José L. Pastrana, Rafael E. Reigal, Verónica Morales-Sánchez, Juan P. Morillo-Baro, Rocío Juárez-Ruiz de Mier, José Alves & Antonio Hernández-Mendo - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  35
    Commentary: Attentional control and the self: The Self-Attention Network.Adolfo M. García, David Huepe, David Martinez, Juan P. Morales, Daniela Huepe, Esteban Hurtado, Noelia Calvo & Agustín Ibáñez - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  29
    Beyond human intentions and emotions.Elsa Juan, Chris Frum, Francesco Bianchi-Demicheli, Yi-Wen Wang, James W. Lewis & Stephanie Cacioppo - 2013 - Frontiers in Human Neuroscience 7.
  39.  4
    Agustín y Ticonio sobre metafísica y exégesis.Lewis Ayres & Juan Cruz Lacarra - 1995 - Augustinus 40 (156-159):13-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  7
    A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions.Juan Manuel Cornejo & Hanamantagouda P. Sankappanavar - 2022 - Bulletin of the Section of Logic 51 (4):555-645.
    The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  14
    Sentence processing and the mental representation of verbs.Lewis P. Shapiro, Edgar Zurif & Jane Grimshaw - 1987 - Cognition 27 (3):219-246.
  42.  76
    Memory, Identity, Community: The Idea of Narrative in the Human Sciences.Lewis P. Hinchman & Sandra Hinchman (eds.) - 1997 - State University of New York Press.
    This multidisciplinary volume documents the resurrection of the importance of narrative to the study of individuals and groups and argues that narrative may become a lingua franca of future debates in the human sciences.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. Subjects' reports of confusion in consciousness and the arousal of imagery.P. W. Sheehan & S. E. Lewis - 1974 - Perceptual and Motor Skills 38:731-34.
  44.  11
    Silicon whisker growth by the vapour-liquid-solid process.P. R. Thornton, D. W. F. James, C. Lewis & A. Bradford - 1966 - Philosophical Magazine 14 (127):165-177.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  10
    A note on chain‐based semi‐Heyting algebras.Juan Manuel Cornejo, Luiz F. Monteiro, Hanamantagouda P. Sankappanavar & Ignacio D. Viglizzo - 2020 - Mathematical Logic Quarterly 66 (4):409-417.
    We determine the number of non‐isomorphic semi‐Heyting algebras on an n‐element chain, where n is a positive integer, using a recursive method. We then prove that the numbers obtained agree with those determined in [1]. We apply the formula to calculate the number of non‐isomorphic semi‐Heyting chains of a given size in some important subvarieties of the variety of semi‐Heyting algebras that were introduced in [5]. We further exploit this recursive method to calculate the numbers of non‐isomorphic semi‐Heyting chains with (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  14
    Education and Health - Science and Technology Education and Future Human Needs: Vol. 5.P. J. Kelly & J. L. Lewis - 1988 - British Journal of Educational Studies 36 (3):275-276.
  47.  32
    Comment.P. Aarne Vesilind, Richard J. Ellis & Lewis Ricci - 1979 - Environmental Ethics 1 (4):379-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  22
    Insurance research and eugenics.Lewis P. Orr - 1913 - The Eugenics Review 4 (4):331.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  19
    Orthodontic Marketing Strategies and Their Ethical Implications.Sheela E. Lewis, Priyanka Srivastava, Padma P. Yelisetty & Ram M. Vaderhobli - 2020 - Ethics in Biology, Engineering and Medicine 11 (1):81-87.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  17
    Semi-Heyting Algebras and Identities of Associative Type.Juan M. Cornejo & Hanamantagouda P. Sankappanavar - 2019 - Bulletin of the Section of Logic 48 (2).
    An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ ≈ x ∧ y, x ∧ ≈ x ∧ [ → ], and x → x ≈ 1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000